SageMath 有限体
Finite fields - Finite Rings
Lean 4
で有限体をやるのとどっちがいいのだろうか
確認用
Q. SageMath 有限体
関連
有限体(ガロア体)
#SageMath